201. Computability
Author:
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computable functions,Logic, Symbolic and mathematical,Godel's theorem
Classification :
QA
9
.
59
.
E67
2000
202. Computability: Computable Functions, Logic, And The Foundations Of Mathematics
Author: \ Richard L. Epstein, Walter A. Carnielli
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject: توابع محاسبهپذیر,منطق ریاضی,Computable functions, Logic, Symbolic and mathematical
Classification :
QA
9
,.
59
.
E67
203. Computability and logic
Author: Daniel E. Cohen
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions,، Logic, Symbolic and mathematical
Classification :
QA
9
.
59
.
C64
1987
204. Computability and logic /
Author: Daniel E. Cohen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions,Logic, Symbolic and mathematical
Classification :
QA9
.
59
.
C64
1987
205. Computability, complexity, logic
Author: Borger, E.)Egon(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical
Classification :
QA
9
.
59
.
B6713
1989
206. Computability, complexity, logic
Author: E. Borger
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical
Classification :
QA
9
.
59
.
B6713
207. Computability: computable functions, logic, and the foundations of mathematics
Author: Epstein, Richard L.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computable functions,، Logic, Symbolic and mathematical,، Gudel's theorem
Classification :
QA
9
.
59
.
E67
2000
208. Computability : computable functions, logic, and the foundations of mathematics
Author: by Richard L. Epstein and Walter A. Carnielli
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions,، Logic, Symbolic and mathematical
Classification :
QA
9
.
59
.
E67
1989
209. Computability : computable functions, logic, and the foundations of mathematics
Author: Epstein, Richard L.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computable functions, Logic, Symbolic and mathematical
Classification :
QA
9
.
59
.
E67
210. Computation, logic, philosophy : a collection of essays
Author: Wang, Hao
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
.
W35
1990
211. Computation, logic, philosophy : a collection of essays
Author: Wang Hao
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35W35
1990
212. Computation, logic, philosophy :a collection of essays
Author: Wang, Hao
Library: Central Library and Documentation Center (Semnan)
Subject: Mathematics ، Computer science,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
W35
1990
213. Computational logic and human thinking :
Author: Robert Kowalski
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Communication-- Philosophy,Computational intelligence,Critical thinking,Logic, Symbolic and mathematical-- Famous problems,Reasoning,Rhetoric-- Mathematics
Classification :
Q342
.
K69
2011
214. Computer Mathematics
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
215. Concepts & Images
Author: by Arthur L. Loeb.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer vision.,Logic, Symbolic and mathematical.,Mathematical physics.,Mathematics.,Visualization.
216. Conceptual models in mathematics: sets, logic and probability
Author: Hirst, Keith Edwin.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Set theory,، Logic, Symbolic and mathematical,، Probabilities
Classification :
QA
248
.
H55
217. Conference in Mathematical Logic, London '70
Author: Edited by Wilfrid Hodges
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
1
.
L4
v
.
255
218. Conference in Mathematical Logic, London 70
Author: Conference in Mathematical Logic, Bedford College
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
255
219. Conference in Mathematical Logic, London '70
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
255
220. Conference in Mathematical Logic London' 70
Author: edited by Wilfrid Hodges
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
Vol
.
255
